21. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
23. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
24. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
25. Computational matter /
پدیدآورنده : Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
26. Computer science with Mathematica
پدیدآورنده : / Roman E. Maeder
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematica (Computer file),Mathematics- Data processing,Mathematica (Computer programming language)
رده :
QA76
.
95
.
M34
2000
27. Computer science with Mathematica: theory and practice for science, mathematics, and engineering
پدیدآورنده : Maeder, Roman
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Data processing,، Mathematica )Computer programming language(
رده :
QA
76
.
95
.
M34
2000
28. Digital noise monitoring of defect origin /
پدیدآورنده : Telman Aliev.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Defect correction methods (Numerical analysis),Electronic noise-- Mathematical models.,Information storage and retrieval systems-- Materials-- Defects.,Signal detection.,Defect correction methods (Numerical analysis),Defect correction methods (Numerical analysis),Electronic noise-- Mathematical models.,Electronic noise-- Mathematical models.,Information storage and retrieval systems-- Materials-- Defects.,Ingénierie.,Signal detection.,Signal detection.
رده :
TK7867
.
5
.
A45
2007eb
29. Emotional cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp
پدیدآورنده : Perlovsky, Leonid I.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Neural networks )Computer science(,Data processing ، Engineering mathematics,، Computer algorithms,، Electronic books
رده :
QA
76
.
87
.
P47
30. Enabling Technologies for Computational Science
پدیدآورنده : edited by Elias N. Houstis, John R. Rice, Efstratios Gallopoulos, Randall Bramley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Electronic data processing.,Information theory.
31. Exploring the early digital /
پدیدآورنده : Thomas Haigh, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
32. Facing the Multicore - Challenge II
پدیدآورنده : edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
33. High-Performance Computing Using FPGA
پدیدآورنده : / edited by Wim Vanderbauwhede, Khaled Benkrid
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Engineering,Computer science,Mathematics,Systems engineering,Electronic books
رده :
E-BOOK
34. High Performance Computing in Science and Engineering, Munich 2004 :
پدیدآورنده : edited by Siegfried Wagner, Werner Hanke, Arndt Bode, Franz Durst.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics.,Electronic data processing.,Engineering.
رده :
QA76
.
88
E358
2005
35. Introduction to MATLAB & SIMULINK
پدیدآورنده : / O. Beucher and M. Weeks
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MATLAB,SIMULINK,Engineering mathematics , Data processing,Computer simulation , Computer programs,Electronic books. , lcsh
رده :
E-BOOK
36. Introduction to discrete mathematics for software engineering
پدیدآورنده : Tim Denvir
کتابخانه: Library of Institute of Geophysics University of Tehran (Tehran)
موضوع : Electronic data processing--mathematics
رده :
QA
76
.
9
.
M35
37. Introduction to discrete mathematics for software engineering
پدیدآورنده : Denvir, Tim
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics ، Electronic data processing,، Software engineering
رده :
QA
76
.
9
.
M35
D45
1986
38. Introductory Statistics and Random Phenomena
پدیدآورنده : by Manfred Denker, Wojbor A. Woyczyński, Bernard Ycart.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Distribution (Probability theory).,Mathematics.,Statistics.
39. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
